<html>
<body>
Use infix type syntax for a binary type application.
</body>
</html>